Verifying privacy-type properties in a modular way

机译：以模块化方式验证隐私类型属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Myrto Arapinis; Vincent Cheval; Stéphanie Delaune;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A method for unbounded verification of privacy-type properties [J] . Hirschi Lucca, Baelde David, Delaune Stéphanie Journal of computer security . 2019,第3期

机译：一种无限制验证隐私类型属性的方法
2. Verifying privacy-type properties of electronic voting protocols [J] . Stephanie Delaune, Steve Kremer, Mark Ryan Journal of computer security . 2009,第4期

机译：验证电子投票协议的隐私类型属性
3. Verification complexity of a class of observational properties for modular discrete events systems [J] . Yin Xiang, Lafortune Stephane Automatica . 2017,第期

机译：模块间离散事件系统的一类观测属性的验证复杂性
4. Verifying Privacy-Type Properties in a Modular Way [C] . Arapinis Myrto, Cheval Vincent, Delaune Stephanie 2012 IEEE 25th computer security foundations symposium . 2012

机译：以模块化方式验证隐私类型属性
5. An Attempted Proof with Modular ACL2: Soundness of the Racket Bytecode Verifier. [D] . Zhang, Yue. 2011

机译：模块化ACL2的尝试证明：球拍字节码验证程序的健全性。
6. Verification of the Seismic Performance of a Rigidly Connected Modular System Depending on the Shape and Size of the Ceiling Bracket [O] . Seungjae Lee, Jaeseong Park, Euishin Kwak, 2017

机译：取决于天花板支架的形状和尺寸的刚性连接模块化系统的抗震性能验证
7. Verifying Privacy-Type Properties in a Modular Way [O] . Arapinis Myrto, Cheval Vincent, Delaune Stéphanie 2012

机译：以模块化方式验证隐私类型属性

Verifying privacy-type properties in a modular way

著录项

引文网络

相似文献

相关主题

期刊订阅